System programming

Results: 6665



#Item
241Logic programming / DLV / Answer set programming / Stable model semantics / Heuristic / Parsing

Towards a Fully-Parallel DLV System Simona Perri, Francesco Ricca, and Marco Sirianni Department of Mathematics University of CalabriaRende, Italy perri,ricca,

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-18 06:37:26
242System calls / Application programming interfaces / Concurrent computing / Parallel computing / Computer architecture / Xv6 / Thread / CPU cache / Fork / POSIX / Unix / Multi-core processor

Computer Systems CS3650 http://www.ccs.neu.edu/course/cs3650/ Spring, 2016 Professor G. Cooperman

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2016-01-02 16:08:06
243Internet Standards / E-commerce / Internet protocols / Secure communication / Transport Layer Security / IBM System z9 / IBM System z / Z/OS / SSL acceleration

z/OS  System Secure Sockets Layer Programming

Add to Reading List

Source URL: publibfp.boulder.ibm.com

Language: English - Date: 2003-12-26 02:44:53
244Linux kernel / Cross-platform software / Memory management / Linux / Software bug / Operating system / C dynamic memory allocation / Application programming interface / Loadable kernel module / Pointer / Memory leak / Kernel

How Often do Experts Make Mistakes?

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
245Functional languages / Procedural programming languages / Subroutines / Functional programming / Type theory / ML / Monad / Scope / Recursion / Standard ML / Nested function / HindleyMilner type system

CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-17 14:01:34
246Method / Object-oriented programming / C++ / Object / Euclidean plane geometry / Polygon / Constant / Constructor / Objective-C / Immutable object / Wavefront .obj file / Struct

Meroon V3: A Small, Efficient and Enhanced Object System Christian Queinnec∗ LIP6 & INRIA–Rocquencourt Abstract

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2010-01-13 17:46:51
247Android / Cross-platform software / Java virtual machine / Java platform / Object-oriented programming languages / Dalvik / Java Native Interface / Java / Taint / VA / Loadable kernel module

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones William Enck The Pennsylvania State University Landon P. Cox Duke University

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2010-10-01 12:15:47
248Preprocessor / Programming language implementation / Polyphemus / Configuration file / MOZART

Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented.

Add to Reading List

Source URL: cerea.enpc.fr

Language: English - Date: 2009-06-19 06:56:07
249Object-oriented programming / Spring / Common Object Request Broker Architecture / Object / Doors / Library / Mach / IDL / Distributed object / Kernel / Object Linking and Embedding / Architecture of Windows NT

An Overview of the Spring System James G. Mitchell, Jonathan J. Gibbons, Graham Hamilton, Peter B. Kessler, Yousef A. Khalidi, Panos Kougiouris, Peter W. Madany, Michael N. Nelson, Michael L. Powell, and Sanjay R. Radia

Add to Reading List

Source URL: www.cs.fsu.edu

Language: English - Date: 2004-02-09 14:17:05
250Educational psychology / Distance education / Educational technology / Information technology / Geographic information system / Question

Professional Master’s in GIS & Web Map Programming Dept. of Geography Name (Last, First): Birthdate:

Add to Reading List

Source URL: www.geography.wisc.edu

Language: English - Date: 2015-11-17 16:58:05
UPDATE